python program to copy contents of one file to another file